Modeling and Performance Evaluation of Energy Consumption in S-MAC Protocol Using Generalized Stochastic Petri Nets

Generalized Stochastic Petri Nets in Performance Evaluation for Queueing Networks

Markovian queueing networks may be modeled by generalized stochastic Petri nets. The simulation of a model in a properly chosen simulator provides information on the performances of the actual system, mainly in case that the analytical study is intricate. After presenting some general notions on queueing networks and on generalized stochastic Petri nets, this paper points out the PN Toolbox for...

modeling and evaluation of web services in mobile networks using stochastic colored petri nets

with recent developments in communication technologies, it is possible to access information any time and in any place; however, mobile environments bring forward certain requirements and exclusive challenges including low connection speeds and bandwidth limitations. thus, we need to consider mobile limitations when using web services. providing services and limited resource allocation to users...

Workkow Modeling and Performance Evaluation with Colored Stochastic Petri Nets

Workflow Modeling and Performance Evaluation with Colored Stochastic Petri Nets

There is a need for modeling and performance evaluation techniques and tools for a fast and reliable design of workflow systems. The paper introduces a modeling methodology based on colored stochastic Petri nets. For describing a business process it is necessary to consider different aspects. Essential are functional (In what order?), organizational (By whom?) and information related aspects (W...

Analytical modeling of Transmission Control Protocol NewReno using Generalized Stochastic Petri Nets

This paper presents a novel analytical model of Transmission Control Protocol (TCP) using a generalized stochastic Petri net (GSPN). Extensive simulation work has been done for the performance evaluation of TCP NewReno protocol. In view of the limitations of the simulation technique, we present an analytical approach using GSPN. A GSPN is a useful mathematical tool that solves continuous time M...

Modeling and Evaluation of Scatternets Performance by Using Petri Nets

Coloured Petri Nets are powerful models for different problems. This paper deals with the modelling of a Bluetooth communication network, piconet and scatternet. The developed Petri Net model is based on the Bluetooth Specification 1.1. The Petri Net model is structured in an hierarchical way. Thus, every part of the model, for example the channel model, is developed in a self-contained Petri N...